Papers with automated geometry problem solving

1 papers
GeoDRL: A Self-Learning Framework for Geometry Problem Solving using Reinforcement Learning in Deductive Reasoning (2023.findings-acl)

Copied to clipboard

Challenge: Existing methods for automated geometry problem solving lack labeled data.
Approach: They propose a framework that integrates logic graph deduction and deep reinforcement learning to optimize geometry reasoning as a Markov Decision Process.
Outcome: The proposed framework improves accuracy and interpretability in the Geometry3K dataset while maintaining correctness.

What is GenGO?

GenGO is an NLP powered publication search system. It currenctly indexes 30k+ papers from ACL Anthology, and implements multi-aspect summarization, semantic search, and more!

Information

About
Limitations